They envisioned a brave new world, and what they got was fascism. As vibrant as its counterparts in Paris, Munich, and Milan, the avant-garde of Florence rose on a wave of artistic, political, and social idealism that swept the world with the arrival of the twentieth century. How the movement flourished in its first heady years, only to flounder in the bloody wake of World War I, is a fascinating story, told here for the first time. It is the history (...) of a whole generation's extraordinary promise--and equally extraordinary failure. The "decadentism" of D'Annunzio, the philosophical ideals of Croce and Gentile, the politics of Italian socialism: all these strains flowed together to buoy the emerging avant-garde in Florence. Walter Adamson shows us the young artists and writers caught up in the intellectual ferment of their time, among them the poet Giovanni Papini, the painter Ardengo Soffici, and the cultural critic Giuseppe Prezzolini. He depicts a generation rejecting provincialism, seeking spiritual freedom in Paris, and ultimately blending the modernist style found there with their own sense of toscanità or "being Tuscan." In their journals--Leonardo, La Voce, Lacerba, and l'Italia futurista--and in their cafe life at the Giubbe Rosse, we see the avant-garde of Florence as citizens of an intellectual world peopled by the likes of Picasso, Bergson, Sorel, Unamuno, Pareto, Weininger, and William James. We witness their mounting commitment to the ideals of regenerative violence and watch their existence become increasingly frenzied as war approaches. Finally, Adamson shows us the ultimate betrayal of the movement's aspirations as its cultural politics help catapult Italy into war and prepare the way for Mussolini's rise to power. (shrink)

Gramsci, An italian marxist intellectual politically active when fascism rose and later imprisoned by mussolini, Offers a sensitive and non-Stereotyped communist interpretation of fascism. He rejected the crude "fascism as last stage of capitalism thesis," the view that it was merely the "agent of the big bourgeoisie" and even the view that it reflected a particular set of class interests. He recognized that it was not merely reactionary, That it had complex internal divisions, That it exemplified the "relative autonomy of (...) politics," and that it was best understood as a response to a "hegemonic crisis.". (shrink)

Helmut Fleischer has distinguished three different approaches to history in the development of Marx's thinking: the "anthropological" , the "pragmatological" , and the "nomological" . However, these represent a less continuous and coherent development than Fleischer claims. The 1857 Introduction to the Grundrisse can be instanced as a fourth view, more focused than the others on historiography, and at variance with what Marx says elsewhere. The sequence and overlapping of these four views call into question both the interpretation of Marx's (...) development as smoothly continuous and the interpretation of his development as "ruptured" into "early" and "late.". (shrink)

Walter Adamson begins his study of Marx and contemporary neo-Marxism with a rehearsal Marxism's oft-cited problems: oppressive regimes which rule in the name of Marxism, the lack of a fully-developed Marxist morality, inaccurate descriptions of contemporary capitalism, and problems in the relation between the Marxian theories of history and society and visions of socialism. Fortunately, Adamson does not simply engage in another tedious demolition job or ideological denunciation of the god that failed in the manner of the (...) French 'new philosophers' and 'post-structuralists' or one-time American New Leftists like Isaac Balbus. Instead Adamson quickly asserts Sartre's position that '"there is no going beyond" a philosophy "so long as man has not gone beyond the historical moment" it expresses' (2) and that, as of yet, we have neither transcended this historical moment nor has a superior philosophy or political ideology appeared. (shrink)

his paper presents a unified treatment of the propositional and first-order many-valued logics through the method of tableaux. It is shown that several important results on the proof theory and model theory of those logics can be obtained in a general way. We obtain, in this direction, abstract versions of the completeness theorem, model existence theorem (using a generalization of the classical analytic consistency properties), compactness theorem and Lowenheim-Skolem theorem. The paper is completely self-contained and includes examples of application to (...) particular many-valued formal systems. (shrink)

This paper discusses how to define logics as deductive limits of sequences of other logics. The case of da Costa's hierarchy of increasingly weaker paraconsistent calculi, known as $ \mathcal {C}$n, 1 $ \leq$ n $ \leq$ $ \omega$, is carefully studied. The calculus $ \mathcal {C}$$\scriptstyle \omega$, in particular, constitutes no more than a lower deductive bound to this hierarchy and differs considerably from its companions. A long standing problem in the literature (open for more than 35 years) is (...) to define the deductive limit to this hierarchy, that is, its greatest lower deductive bound. The calculus $ \mathcal {C}$min, stronger than $ \mathcal {C}$$\scriptstyle \omega$, is first presented as a step toward this limit. As an alternative to the bivaluation semantics of $ \mathcal {C}$min presented thereupon, possible-translations semantics are then introduced and suggested as the standard technique both to give this calculus a more reasonable semantics and to derive some interesting properties about it. Possible-translations semantics are then used to provide both a semantics and a decision procedure for $ \mathcal {C}$Lim, the real deductive limit of da Costa's hierarchy. Possible-translations semantics also make it possible to characterize a precise sense of duality: as an example, $ \mathcal {D}$min is proposed as the dual to $ \mathcal {C}$min. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Coleção CLE, volume 14, 1995. Centro De Lógica, Epistemologia e História da Ciência, Unicamp, Campinas, SP, Brazil.

The bulk of the DNA in eukaryotic chromatin behaves as if it is topologically relaxed; however, a subfraction can be shown to be under suercoil tension. Endonuclease S1 cuts at specific hypersentive sites in chromatin (in the promoter regions of active genes) and this enzyme cuts in the same region in supercoiled plasmids, but not in relaxed or linearized molecules. A subfraction of the minichromosomes formed after SV40 infection or microinjection of plasmid DNA into oocytes contains supercoil tension and this (...) subfraction is thought to play an important role in transcription. (shrink)

There is no doubt that soybean is the most important crop for Argentina, with a planted surface that rose 11,000,000 hectares and a production of around 35,000,000 metric tons. During the 1990s, there was a significant agriculture transformation in the country, motorize by the adoption of transgenic crops (soy-bean, maize, and cotton) under the no-tillage system. The expansion of this model has been spread not only in the Pampas but also in very rich areas with high biodiversity, opening a new (...) agricultural border to important eco-regions like the Yungas, Great Chaco, and the Mesopotamian Forest. Transgenic cropping is a powerful technology. This produced relevant transformations over the environment and society where it is allowed. Migration, concentration of agribusiness, and loss of food sovereignty are some of the social results. Landscape transformation in the rural sector is evident, and the appearance of tolerance weeds to glyphosate is a reality. Nutrient depletion, soil-structure degradation, potential desertification, and loss of species are other consequences on the environmental level. (shrink)

After a brief promenade on the several notions of translations that appear in the literature, we concentrate on three paradigms of translations between logics: ( conservative ) translations , transfers and contextual translations . Though independent, such approaches are here compared and assessed against questions about the meaning of a translation and about comparative strength and extensibility of a logic with respect to another.

We propose in this paper a family of algebraic models of ZFC based on the three-valued paraconsistent logic LPT0, a linguistic variant of da Costa and D’Ottaviano’s logic J3. The semantics is given by twist structures defined over complete Boolean agebras. The Boolean-valued models of ZFC are adapted to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. This allows for inconsistent sets w satisfying ‘not (w = w)’, where ‘not’ stands for the paraconsistent negation. Finally, our (...) framework is adapted to provide a class of twist-valued models generalizing Löwe and Tarafder’s model based on logic (PS 3,∗), showing that they are paraconsistent models of ZFC. The present approach offers more options for investigating independence results in paraconsistent set theory. (shrink)

Attempts to comprehend the traumatic significance of Hiroshima in order to construct a new theory of history.

This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some examples that emphasizes the importance of (...) a fine-tuned treatment of consistency in modelling reputation systems, preferences, argumentation, and evidence. (shrink)

This paper introduces the notions of perfect quantifiers in general many-valued logics and investigates the problem of quantificational completeness for such logics as well as the problem of characterizing all perfect quantifiers in 3-valued logics using techniques of combinatorial group theory.